[next] [prev] [prev-tail] [tail] [up]

2.2.9 Integrals 801 to 900

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 801

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F(-1) F(-1) F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

939 907 3830 108969 0 0 0 0 0

N.S.

1 0.97 4.08 116.05 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 4.942 7.473 3.576 0.000 0.000 0.000 0.000 0.000

Problem 802

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

54 54 167 0 0 0 0 0 0

N.S.

1 1.00 3.09 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.195 0.247 0.000 0.000 0.000 0.000 0.000 0.000

Problem 803

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

89 89 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.227 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 804

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

92 92 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.232 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 805

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

275 275 249 1786 811 2032 24206 3830 1943

N.S.

1 1.00 0.91 6.49 2.95 7.39 88.02 13.93 7.07

time (sec)

N/A 0.512 0.301 0.577 0.265 0.353 4.357 0.333 13.019

Problem 806

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

208 208 187 1029 512 1122 11946 2133 1133

N.S.

1 1.00 0.90 4.95 2.46 5.39 57.43 10.25 5.45

time (sec)

N/A 0.411 0.206 0.556 0.227 0.386 2.211 0.313 12.353

Problem 807

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 146 130 449 289 549 4952 1008 572

N.S.

1 1.00 0.89 3.08 1.98 3.76 33.92 6.90 3.92

time (sec)

N/A 0.313 0.156 0.500 0.219 0.331 1.157 0.284 11.958

Problem 808

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 84 73 147 135 218 1489 366 211

N.S.

1 1.00 0.87 1.75 1.61 2.60 17.73 4.36 2.51

time (sec)

N/A 0.236 0.114 0.469 0.234 0.316 0.581 0.273 12.083

Problem 809

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

114 114 93 0 0 0 0 0 0

N.S.

1 1.00 0.82 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.284 0.184 0.000 0.000 0.000 0.000 0.000 0.000

Problem 810

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-2) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

88 88 83 0 0 0 0 0 0

N.S.

1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.247 0.144 0.000 0.000 0.000 0.000 0.000 0.000

Problem 811

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

193 203 106 0 0 0 0 0 0

N.S.

1 1.05 0.55 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.356 0.155 0.000 0.000 0.000 0.000 0.000 0.000

Problem 812

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

197 212 106 0 0 0 0 0 0

N.S.

1 1.08 0.54 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.355 0.176 0.000 0.000 0.000 0.000 0.000 0.000

Problem 813

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-2) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

231 223 179 0 0 0 0 0 0

N.S.

1 0.97 0.77 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.399 0.181 0.000 0.000 0.000 0.000 0.000 0.000

Problem 814

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 83 85 84 87 99 420 89 84

N.S.

1 1.00 1.02 1.01 1.05 1.19 5.06 1.07 1.01

time (sec)

N/A 0.284 0.035 0.484 0.202 0.295 78.093 0.266 12.098

Problem 815

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

184 184 177 262 255 313 0 289 266

N.S.

1 1.00 0.96 1.42 1.39 1.70 0.00 1.57 1.45

time (sec)

N/A 0.486 0.096 0.618 0.201 0.541 0.000 0.270 12.142

Problem 816

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

531 531 476 837 721 736 0 953 794

N.S.

1 1.00 0.90 1.58 1.36 1.39 0.00 1.79 1.50

time (sec)

N/A 1.141 0.260 0.645 0.244 2.796 0.000 0.304 13.435

Problem 817

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-1) F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

246 246 246 244 0 0 0 388 12173

N.S.

1 1.00 1.00 0.99 0.00 0.00 0.00 1.58 49.48

time (sec)

N/A 0.598 0.209 0.796 0.000 0.000 0.000 0.292 32.761

Problem 818

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) F(-1) F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

644 644 710 2228 0 0 0 3400 130035

N.S.

1 1.00 1.10 3.46 0.00 0.00 0.00 5.28 201.92

time (sec)

N/A 1.724 1.428 1.488 0.000 0.000 0.000 0.301 54.584

Problem 819

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

287 287 412 285 429 429 695 568 283

N.S.

1 1.00 1.44 0.99 1.49 1.49 2.42 1.98 0.99

time (sec)

N/A 0.509 0.293 0.526 0.222 0.565 1.226 0.279 0.161

Problem 820

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

212 212 256 192 261 260 427 363 204

N.S.

1 1.00 1.21 0.91 1.23 1.23 2.01 1.71 0.96

time (sec)

N/A 0.403 0.193 0.530 0.203 0.475 1.049 0.271 0.089

Problem 821

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 137 131 103 129 125 209 196 125

N.S.

1 1.00 0.96 0.75 0.94 0.91 1.53 1.43 0.91

time (sec)

N/A 0.294 0.101 0.496 0.217 0.504 0.849 0.282 0.085

Problem 822

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 73 54 46 77 54 102 77 58

N.S.

1 1.00 0.74 0.63 1.05 0.74 1.40 1.05 0.79

time (sec)

N/A 0.219 0.039 0.477 0.224 0.470 0.451 0.277 11.826

Problem 823

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 117 104 93 0 341 160 130 117

N.S.

1 1.01 0.90 0.80 0.00 2.94 1.38 1.12 1.01

time (sec)

N/A 0.316 0.151 0.542 0.000 0.447 2.578 0.282 0.148

Problem 824

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 187 150 152 0 637 0 176 146

N.S.

1 1.34 1.07 1.09 0.00 4.55 0.00 1.26 1.04

time (sec)

N/A 0.360 0.432 0.552 0.000 0.494 0.000 0.279 0.247

Problem 825

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

206 253 203 201 0 1096 0 383 270

N.S.

1 1.23 0.99 0.98 0.00 5.32 0.00 1.86 1.31

time (sec)

N/A 0.420 0.696 0.566 0.000 0.494 0.000 0.283 0.295

Problem 826

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

285 285 406 303 437 438 568 687 394

N.S.

1 1.00 1.42 1.06 1.53 1.54 1.99 2.41 1.38

time (sec)

N/A 0.481 0.325 0.570 0.212 0.418 32.418 0.311 0.121

Problem 827

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

210 210 252 196 269 269 350 407 270

N.S.

1 1.00 1.20 0.93 1.28 1.28 1.67 1.94 1.29

time (sec)

N/A 0.379 0.217 0.534 0.207 0.375 11.823 0.301 11.856

Problem 828

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 135 128 107 137 135 182 195 147

N.S.

1 1.00 0.95 0.79 1.01 1.00 1.35 1.44 1.09

time (sec)

N/A 0.292 0.103 0.487 0.206 0.399 3.246 0.301 11.750

Problem 829

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 71 54 47 66 63 94 74 58

N.S.

1 1.00 0.76 0.66 0.93 0.89 1.32 1.04 0.82

time (sec)

N/A 0.209 0.047 0.475 0.203 0.389 1.046 0.270 0.063

Problem 830

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 122 124 122 0 540 172 124 162

N.S.

1 1.00 1.02 1.00 0.00 4.43 1.41 1.02 1.33

time (sec)

N/A 0.356 0.220 0.539 0.000 0.426 6.446 0.282 11.826

Problem 831

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 193 176 175 0 1088 0 286 218

N.S.

1 1.17 1.07 1.06 0.00 6.59 0.00 1.73 1.32

time (sec)

N/A 0.439 0.583 0.563 0.000 0.497 0.000 0.297 0.315

Problem 832

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

248 294 297 279 0 1883 0 472 363

N.S.

1 1.19 1.20 1.12 0.00 7.59 0.00 1.90 1.46

time (sec)

N/A 0.577 1.170 0.652 0.000 0.591 0.000 0.296 12.175

Problem 833

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 91 102 231 0 201 0 16 916

N.S.

1 1.00 1.12 2.54 0.00 2.21 0.00 0.18 10.07

time (sec)

N/A 0.409 0.297 0.602 0.000 0.426 0.000 0.295 14.728

Problem 834

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

164 167 141 425 0 380 0 190 833

N.S.

1 1.02 0.86 2.59 0.00 2.32 0.00 1.16 5.08

time (sec)

N/A 0.305 0.359 0.480 0.000 0.512 0.000 0.307 17.077

Problem 835

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

333 250 289 1207 0 852 0 480 0

N.S.

1 0.75 0.87 3.62 0.00 2.56 0.00 1.44 0.00

time (sec)

N/A 0.352 0.820 0.483 0.000 0.617 0.000 0.323 0.000

Problem 836

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

246 208 217 763 0 576 0 313 1832

N.S.

1 0.85 0.88 3.10 0.00 2.34 0.00 1.27 7.45

time (sec)

N/A 0.334 3.547 0.486 0.000 0.536 0.000 0.301 109.822

Problem 837

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

164 167 141 425 0 380 0 190 833

N.S.

1 1.02 0.86 2.59 0.00 2.32 0.00 1.16 5.08

time (sec)

N/A 0.276 0.056 0.479 0.000 0.476 0.000 0.305 0.003

Problem 838

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 132 131 697 0 588 0 195 0

N.S.

1 1.02 1.02 5.40 0.00 4.56 0.00 1.51 0.00

time (sec)

N/A 0.279 0.340 0.475 0.000 1.513 0.000 0.343 0.000

Problem 839

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 180 145 773 0 792 0 491 0

N.S.

1 1.12 0.91 4.83 0.00 4.95 0.00 3.07 0.00

time (sec)

N/A 0.330 0.225 0.477 0.000 3.310 0.000 0.384 0.000

Problem 840

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

198 210 177 210 0 353 0 1175 260

N.S.

1 1.06 0.89 1.06 0.00 1.78 0.00 5.93 1.31

time (sec)

N/A 0.362 0.185 0.497 0.000 7.211 0.000 0.419 13.213

Problem 841

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

281 258 301 427 0 641 0 2035 452

N.S.

1 0.92 1.07 1.52 0.00 2.28 0.00 7.24 1.61

time (sec)

N/A 0.399 0.346 0.479 0.000 22.889 0.000 0.524 13.496

Problem 842

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

249 221 167 834 0 580 0 263 0

N.S.

1 0.89 0.67 3.35 0.00 2.33 0.00 1.06 0.00

time (sec)

N/A 0.367 0.441 0.473 0.000 0.754 0.000 0.337 0.000

Problem 843

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

240 201 189 571 0 546 0 739 0

N.S.

1 0.84 0.79 2.38 0.00 2.28 0.00 3.08 0.00

time (sec)

N/A 0.321 0.455 0.444 0.000 0.422 0.000 0.370 0.000

Problem 844

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

176 157 163 392 0 414 0 446 1797

N.S.

1 0.89 0.93 2.23 0.00 2.35 0.00 2.53 10.21

time (sec)

N/A 0.308 10.344 0.474 0.000 0.410 0.000 0.339 107.002

Problem 845

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 124 103 247 0 308 0 146 893

N.S.

1 1.02 0.84 2.02 0.00 2.52 0.00 1.20 7.32

time (sec)

N/A 0.256 0.262 0.485 0.000 0.408 0.000 0.292 32.857

Problem 846

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 111 122 438 0 463 0 197 0

N.S.

1 1.03 1.13 4.06 0.00 4.29 0.00 1.82 0.00

time (sec)

N/A 0.249 0.262 0.483 0.000 0.389 0.000 0.322 0.000

Problem 847

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 137 99 601 0 665 0 220 0

N.S.

1 1.18 0.85 5.18 0.00 5.73 0.00 1.90 0.00

time (sec)

N/A 0.277 0.175 0.483 0.000 0.635 0.000 0.355 0.000

Problem 848

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 148 115 122 0 293 0 359 268

N.S.

1 1.11 0.86 0.92 0.00 2.20 0.00 2.70 2.02

time (sec)

N/A 0.286 0.131 0.477 0.000 0.898 0.000 0.380 13.362

Problem 849

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

189 196 185 207 0 487 0 560 389

N.S.

1 1.04 0.98 1.10 0.00 2.58 0.00 2.96 2.06

time (sec)

N/A 0.306 0.165 0.478 0.000 1.657 0.000 0.444 13.532

Problem 850

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F(-1) F F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

417 417 473 11686 0 0 0 0 0

N.S.

1 1.00 1.13 28.02 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.617 3.558 0.648 0.000 0.000 0.000 0.000 0.000

Problem 851

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

285 285 266 5482 0 4471 0 0 0

N.S.

1 1.00 0.93 19.24 0.00 15.69 0.00 0.00 0.00

time (sec)

N/A 0.604 10.698 0.672 0.000 27.867 0.000 0.000 0.000

Problem 852

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

287 287 410 5507 0 19727 0 0 0

N.S.

1 1.00 1.43 19.19 0.00 68.74 0.00 0.00 0.00

time (sec)

N/A 0.518 2.524 0.662 0.000 118.801 0.000 0.000 0.000

Problem 853

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F(-1) F F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

429 429 543 47351 0 0 0 0 0

N.S.

1 1.00 1.27 110.38 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.003 3.468 0.679 0.000 0.000 0.000 0.000 0.000

Problem 854

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-1) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

532 562 513 879 0 0 0 0 0

N.S.

1 1.06 0.96 1.65 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.693 3.040 0.891 0.000 0.000 0.000 0.000 0.000

Problem 855

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-1) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

325 348 316 570 0 0 0 0 0

N.S.

1 1.07 0.97 1.75 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.817 1.423 0.806 0.000 0.000 0.000 0.000 0.000

Problem 856

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-1) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

219 229 212 335 0 0 0 0 0

N.S.

1 1.05 0.97 1.53 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.561 0.878 0.723 0.000 0.000 0.000 0.000 0.000

Problem 857

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 158 175 238 0 992 0 0 0

N.S.

1 1.04 1.15 1.57 0.00 6.53 0.00 0.00 0.00

time (sec)

N/A 0.343 0.140 0.694 0.000 1.114 0.000 0.000 0.000

Problem 858

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) F(-1) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

228 240 212 673 0 0 0 0 0

N.S.

1 1.05 0.93 2.95 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.570 0.634 0.765 0.000 0.000 0.000 0.000 0.000

Problem 859

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

490 490 228 1359 0 0 0 0 0

N.S.

1 1.00 0.47 2.77 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.861 0.903 0.905 0.000 0.000 0.000 0.000 0.000

Problem 860

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F(-1) F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

673 673 609 2512 0 0 0 1824 0

N.S.

1 1.00 0.90 3.73 0.00 0.00 0.00 2.71 0.00

time (sec)

N/A 1.074 10.904 0.991 0.000 0.000 0.000 1.071 0.000

Problem 861

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F(-1) F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

933 933 858 3777 0 0 0 8076 0

N.S.

1 1.00 0.92 4.05 0.00 0.00 0.00 8.66 0.00

time (sec)

N/A 1.423 12.448 1.162 0.000 0.000 0.000 5.559 0.000

Problem 862

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-1) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

1098 1139 743 1409 0 0 0 0 0

N.S.

1 1.04 0.68 1.28 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.181 11.510 0.968 0.000 0.000 0.000 0.000 0.000

Problem 863

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-1) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

662 696 536 998 0 0 0 0 0

N.S.

1 1.05 0.81 1.51 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.596 10.879 0.891 0.000 0.000 0.000 0.000 0.000

Problem 864

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-1) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

441 464 427 735 0 0 0 0 0

N.S.

1 1.05 0.97 1.67 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.138 2.481 0.727 0.000 0.000 0.000 0.000 0.000

Problem 865

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

252 271 247 383 0 1523 0 0 0

N.S.

1 1.08 0.98 1.52 0.00 6.04 0.00 0.00 0.00

time (sec)

N/A 0.594 0.110 0.677 0.000 150.148 0.000 0.000 0.000

Problem 866

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-1) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

491 453 323 599 0 0 0 0 0

N.S.

1 0.92 0.66 1.22 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.075 10.719 0.822 0.000 0.000 0.000 0.000 0.000

Problem 867

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

787 787 357 900 0 0 0 0 0

N.S.

1 1.00 0.45 1.14 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.490 10.930 0.921 0.000 0.000 0.000 0.000 0.000

Problem 868

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F(-1) F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

1066 1066 1036 4242 0 0 0 0 0

N.S.

1 1.00 0.97 3.98 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.795 12.294 0.961 0.000 0.000 0.000 0.000 0.000

Problem 869

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-1) F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

886 834 647 1248 0 0 0 0 0

N.S.

1 0.94 0.73 1.41 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.949 11.704 0.893 0.000 0.000 0.000 0.000 0.000

Problem 870

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-1) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

431 461 380 556 0 0 0 0 0

N.S.

1 1.07 0.88 1.29 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.734 1.975 1.095 0.000 0.000 0.000 0.000 0.000

Problem 871

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-1) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

270 287 247 355 0 0 0 0 0

N.S.

1 1.06 0.91 1.31 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.887 1.146 0.891 0.000 0.000 0.000 0.000 0.000

Problem 872

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-1) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

176 186 184 259 0 0 0 0 0

N.S.

1 1.06 1.05 1.47 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.415 0.695 0.802 0.000 0.000 0.000 0.000 0.000

Problem 873

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 131 142 199 0 1071 0 0 0

N.S.

1 1.00 1.08 1.52 0.00 8.18 0.00 0.00 0.00

time (sec)

N/A 0.277 0.541 0.710 0.000 21.849 0.000 0.000 0.000

Problem 874

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 92 157 0 343 0 71 0

N.S.

1 1.00 1.16 1.99 0.00 4.34 0.00 0.90 0.00

time (sec)

N/A 0.197 0.010 0.658 0.000 0.327 0.000 0.294 0.000

Problem 875

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

182 182 207 327 0 1952 0 0 0

N.S.

1 1.00 1.14 1.80 0.00 10.73 0.00 0.00 0.00

time (sec)

N/A 0.407 0.738 0.782 0.000 85.212 0.000 0.000 0.000

Problem 876

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

340 340 256 609 0 0 0 0 0

N.S.

1 1.00 0.75 1.79 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.610 10.645 0.876 0.000 0.000 0.000 0.000 0.000

Problem 877

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F(-1) F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

587 587 549 1185 0 0 0 2239 0

N.S.

1 1.00 0.94 2.02 0.00 0.00 0.00 3.81 0.00

time (sec)

N/A 0.956 11.309 0.908 0.000 0.000 0.000 0.772 0.000

Problem 878

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) F(-1) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

496 536 587 1026 0 0 0 0 0

N.S.

1 1.08 1.18 2.07 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.402 12.463 1.035 0.000 0.000 0.000 0.000 0.000

Problem 879

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) F(-1) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

357 366 354 740 0 0 0 0 0

N.S.

1 1.03 0.99 2.07 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.729 3.950 0.836 0.000 0.000 0.000 0.000 0.000

Problem 880

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

240 240 244 555 0 2023 0 773 0

N.S.

1 1.00 1.02 2.31 0.00 8.43 0.00 3.22 0.00

time (sec)

N/A 0.413 1.148 0.773 0.000 3.325 0.000 0.286 0.000

Problem 881

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 187 198 445 0 1663 0 583 0

N.S.

1 1.00 1.06 2.38 0.00 8.89 0.00 3.12 0.00

time (sec)

N/A 0.333 0.779 0.700 0.000 2.947 0.000 0.286 0.000

Problem 882

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 155 190 400 0 1349 0 461 0

N.S.

1 1.00 1.23 2.58 0.00 8.70 0.00 2.97 0.00

time (sec)

N/A 0.289 0.158 0.688 0.000 0.604 0.000 0.278 0.000

Problem 883

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F(-1) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

352 352 347 815 0 0 0 0 0

N.S.

1 1.00 0.99 2.32 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.668 3.109 0.774 0.000 0.000 0.000 0.000 0.000

Problem 884

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F(-1) F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

642 642 623 1481 0 0 0 0 0

N.S.

1 1.00 0.97 2.31 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.062 12.751 0.948 0.000 0.000 0.000 0.000 0.000

Problem 885

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F(-1) F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

1064 1064 1013 2685 0 0 0 14979 0

N.S.

1 1.00 0.95 2.52 0.00 0.00 0.00 14.08 0.00

time (sec)

N/A 1.833 15.227 1.136 0.000 0.000 0.000 4.142 0.000

Problem 886

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

1551 1597 26600 3254 0 1741 0 0 0

N.S.

1 1.03 17.15 2.10 0.00 1.12 0.00 0.00 0.00

time (sec)

N/A 5.935 37.075 3.119 0.000 0.153 0.000 0.000 0.000

Problem 887

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

1015 1047 15781 1936 0 1132 0 0 0

N.S.

1 1.03 15.55 1.91 0.00 1.12 0.00 0.00 0.00

time (sec)

N/A 3.389 35.974 3.522 0.000 0.136 0.000 0.000 0.000

Problem 888

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

652 671 8432 1229 0 726 0 0 0

N.S.

1 1.03 12.93 1.88 0.00 1.11 0.00 0.00 0.00

time (sec)

N/A 1.149 35.210 1.947 0.000 0.121 0.000 0.000 0.000

Problem 889

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

513 522 1052 892 0 481 0 0 0

N.S.

1 1.02 2.05 1.74 0.00 0.94 0.00 0.00 0.00

time (sec)

N/A 0.721 32.546 2.029 0.000 0.107 0.000 0.000 0.000

Problem 890

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

764 890 1470 1245 0 0 0 0 0

N.S.

1 1.16 1.92 1.63 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.883 36.442 3.880 0.000 0.000 0.000 0.000 0.000

Problem 891

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

743 874 1473 1190 0 0 0 0 0

N.S.

1 1.18 1.98 1.60 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.675 34.833 0.828 0.000 0.000 0.000 0.000 0.000

Problem 892

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

1034 1599 33765 1593 0 0 0 0 0

N.S.

1 1.55 32.65 1.54 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.499 36.667 1.293 0.000 0.000 0.000 0.000 0.000

Problem 893

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

1098 1128 17771 1845 0 1241 0 0 0

N.S.

1 1.03 16.18 1.68 0.00 1.13 0.00 0.00 0.00

time (sec)

N/A 3.625 36.997 4.703 0.000 0.123 0.000 0.000 0.000

Problem 894

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

755 776 10030 1272 0 828 0 0 0

N.S.

1 1.03 13.28 1.68 0.00 1.10 0.00 0.00 0.00

time (sec)

N/A 1.960 35.649 2.481 0.000 0.141 0.000 0.000 0.000

Problem 895

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

519 525 792 955 0 557 0 0 0

N.S.

1 1.01 1.53 1.84 0.00 1.07 0.00 0.00 0.00

time (sec)

N/A 0.741 29.596 2.695 0.000 0.107 0.000 0.000 0.000

Problem 896

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

444 447 936 811 0 417 0 0 0

N.S.

1 1.01 2.11 1.83 0.00 0.94 0.00 0.00 0.00

time (sec)

N/A 0.548 27.416 1.276 0.000 0.098 0.000 0.000 0.000

Problem 897

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

700 824 1261 1114 0 0 0 0 0

N.S.

1 1.18 1.80 1.59 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.406 31.833 1.158 0.000 0.000 0.000 0.000 0.000

Problem 898

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

736 869 1471 1208 0 0 0 0 0

N.S.

1 1.18 2.00 1.64 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.665 33.660 2.063 0.000 0.000 0.000 0.000 0.000

Problem 899

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

1049 1613 36617 1634 0 0 0 0 0

N.S.

1 1.54 34.91 1.56 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.554 36.623 3.160 0.000 0.000 0.000 0.000 0.000

Problem 900

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

774 795 1402 1283 0 879 0 0 0

N.S.

1 1.03 1.81 1.66 0.00 1.14 0.00 0.00 0.00

time (sec)

N/A 2.155 34.650 3.617 0.000 0.190 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]